-
1 arithmetical equivalence
Большой англо-русский и русско-английский словарь > arithmetical equivalence
-
2 arithmetical equivalence
Математика: арифметическая эквивалентностьУниверсальный англо-русский словарь > arithmetical equivalence
-
3 arithmetical equivalence
English-Russian scientific dictionary > arithmetical equivalence
-
4 equivalence
1) адекватность; эквивалентность3) равносильность; равноценность; равнозначность• -
5 арифметическая эквивалентность
Большой англо-русский и русско-английский словарь > арифметическая эквивалентность
-
6 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation -
7 problem
1) задача; проблема3) трудность, затруднение•- boundary value problem - card matching problem - central limit problem - decision problem under risk - decision problem under uncertainty - extremum problem - fair division problem - gambling problem - gasoline blending problem - incompletely structured problem - optimal path problem - optimal stopping problem - portfolio selection problem - precisely specified problem - recursively solvable problem - sequential decision programming problem - sequential occupancy problem - shortest path problem - shortest route problem - standard control problem - three houses and three wells problem -
8 circuit
2) канал3) т. граф. простая цепь, контур•- active circuit
- acyclic circuit
- adding circuit
- add circuit
- addressing circuit
- advancing circuit
- alarm circuit
- amplifying circuit
- analogous circuit
- analog circuit
- AND-to-OR circuit
- antialiasing circuit
- anticoincidence circuit
- antihunting circuit
- antihunt circuit
- aperiodic circuit
- arithmetic circuit
- arithmetical circuit
- astable circuit
- averaging circuit
- balanced circuit
- basis circuit
- beam-lead integrated circuit
- benchmark circuit
- binary-valued digital circuit
- binary-valued circuit
- bipolar circuit
- bistable circuit
- blanking circuit
- bleeder circuit
- bridge circuit
- buffer circuit
- carry circuit
- character selection circuit
- checking circuit
- check circuit
- clamping circuit
- clocked circuit
- clock-recovery circuit
- closed circuit
- code disjoint circuit
- coincidence circuit
- combinational circuit
- combinatorial circuit
- communication circuit
- comparator circuit
- compare circuit
- comparison circuit
- complementary circuit
- complementary integrated circuit
- complementary transistor logic circuit
- complex function circuit
- computer circuit
- computer test circuit
- computing circuit
- control circuit
- core-diode circuit
- core-transistor circuit
- correcting circuit
- correction circuit
- counter circuit
- counting circuit
- coupling circuit
- current-limit circuit
- current-operated circuit
- current-summation circuit
- custom product integrated circuit
- custom integrated circuit
- custom-wired integrated circuit
- cutoff circuit
- cycle circuit
- cyclic circuit
- dead-on-arrival integrated circuit
- decode circuit
- decoding circuit
- deenergizing circuit
- deflection circuit
- delay circuit
- densely packed circuit
- differentiating circuit
- digital computing circuit
- diode circuit
- diode-coupled circuit
- diode-transistor logic circuit
- direct-coupled circuit
- direct-coupled transistor logic circuit
- direct-current circuit
- discrete component circuit
- discrete logic-level
- discrete wired circuit
- display circuit
- divide-by-two circuit
- dividing circuit
- double-sided printed circuit
- doubling circuit
- drive circuit
- dry circuit
- dual circuit
- duplex circuit
- Eccles-Jordan circuit
- edge-activated circuit
- emitter-coupled circuit
- emitter-coupled logic circuit
- emitter-emitter-coupled logic circuit
- equality circuit
- equivalent circuit
- etched circuit
- Euler circuit
- except circuit
- fanout-free circuit
- fast-switching circuit
- fault detection circuit
- fault-free circuit
- fault-secure circuit
- faulty circuit
- feedback circuit
- ferrite-diode circuit
- ferrite-transistor circuit
- ferroresonant computing circuit
- film integrated circuit
- flag-testing circuit
- flat-pack integrated circuit
- flexible printed circuit
- flexible circuit
- flip-chip integrated circuit
- flip-flop circuit
- frame-grounding circuit
- frequency-halving circuit
- function circuit
- gate circuit
- Goto-pair circuit
- half-duplex circuit
- halving circuit
- Hamilton circuit
- hand-designed circuit
- hardwired circuit
- high-speed circuit
- high-threshold logic circuit
- holding circuit
- hybrid circuit
- idler circuit
- imbedded circuit
- IMOS circuit
- impulse circuit
- inhibit circuit
- input circuit
- integrated circuit
- integrating circuit
- integro-differential circuit
- interchange circuit
- interface circuit
- interfacing circuit
- interlock circuit
- invert circuit
- ion-implanted MOS circuit
- irredundant circuit
- Josephson integrated circuit
- junction transistor circuit
- ladder circuit
- lag-lead circuit
- laminar circuit
- large arithmetic circuit
- large-scale integrated circuit
- large-scale integration circuit
- latch circuit
- lead-lag circuit
- leased circuit
- level circuit
- linear circuit
- linear integrated circuit
- linearity circuit
- liquid logic circuit
- load circuit
- locked pair circuit
- locking circuit
- logic circuit
- logical circuit
- low-threshold integrated circuit
- LSI circuit
- lumped circuit
- magnetic circuit
- magnetic-core circuit
- majority circuit
- match circuit
- material equivalence circuit
- matrix circuit
- maximum-remembering circuit
- measuring circuit
- medium-scale integration circuit
- memory circuit
- memory-decoder circuit
- message circuit
- metal-oxide-semiconductor circuit
- microamp circuit
- microelectronic integrated circuit
- microminiature circuit
- microwave circuit
- mil spec integrated circuit
- milliwatt circuit
- miniature circuit
- minimum-remembering circuit
- mixed-level circuit
- mixing circuit
- modularized circuit
- molecular integrated circuit
- monitoring circuit
- monolithic integrated circuit
- monostable circuit
- MOS circuit
- MOS integrated circuit
- MOS LSI circuit
- MSI circuit
- multichip integrated circuit
- multifunction integrated circuit
- multilayer circuit
- multilevel circuit
- multiple output circuit
- multiplying circuit
- multipoint circuit
- multistable circuit
- multistage circuit
- nanosecond circuit
- n-channel circuit
- network circuit
- noise-balancing circuit
- noncoincidence circuit
- noncutoff circuit
- non-self-checking circuit
- one-core-per-bit circuit
- one-generator equivalent circuit
- one-out-of-four selecting circuit
- one-shot circuit
- open circuit
- optical commutation circuit
- optical memory circuit
- optically coupled circuit
- optoelectronic circuit
- output circuit
- packaged circuit
- packed circuit
- p-channel circuit
- phantom circuit
- phase-comparison circuit
- phase-inverting circuit
- picosecond circuit
- pilot circuit
- plastic-embedded circuit
- point-to-point circuit
- power circuit
- power monitoring circuit
- power-fail circuit
- printed circuit
- priority circuit
- propagation circuit
- protection circuit
- pulse circuit
- pulse-actuated circuit
- pulse-broadening circuit
- pulse-regenerating circuit
- pulse-shaping circuit
- pulse-stretching circuit
- pulse-switching circuit
- pumped tunnel-diode transistor logic circuit
- pumping circuit
- quenching circuit
- race-free circuit
- radio-frequency circuit
- random-logic circuit
- ratioed circuit
- reading circuit
- received-data circuit
- receiving circuit
- reconfigurable integrated circuit
- redundant circuit
- reference circuit
- refreshing circuit
- relaxation circuit
- reset circuit
- retriggerable circuit
- rewriting circuit
- ring circuit
- rounding circuit
- sample-hold circuit
- saturated circuit
- scale-of-N circuit
- scale-of-two circuit
- scaling circuit
- schematic circuit
- Schmitt trigger circuit
- Schmitt circuit
- screen printed circuit
- selection circuit
- select circuit
- self-checking circuit
- self-testing circuit
- self-timed circuit
- semiconductor circuit
- send-request circuit
- sequential circuit
- shifting circuit
- shift circuit
- short circuit
- shunt-peaking circuit
- sign-controlled circuit
- silicon integrated circuit
- silicon-on-sapphire integrated circuit
- simplex circuit
- single-chip circuit
- single-ended circuit
- single-level circuit
- single-phase circuit
- single-shot circuit
- small-scale integration circuit
- solid-state circuit
- solid circuit
- SOS integrated circuit
- squaring circuit
- SSI circuit
- stabilizing circuit
- stamped circuit
- start-stop circuit
- steering circuit
- storage circuit
- storage-selection circuit
- strongly fault-secure circuit
- subtraction circuit
- summing circuit
- sweep circuit
- switching circuit
- symbolic circuit
- synchronizing circuit
- synthesis circuit
- thick-film circuit
- thin-film circuit
- threshold circuit
- time-anticoincidence circuit
- time-base circuit
- time-coincidence circuit
- time-delay circuit
- toll circuit
- totally self-checking circuit
- transistor circuit
- transistor-core circuit
- transistor-resistor circuit
- transistor-transistor-logic circuit
- translation circuit
- transmitted-data circuit
- transmitting circuit
- tree circuit
- trigger -action circuit
- trigger circuit
- trunk circuit
- tunnel diode circuit
- twin-tunnel-diode circuit
- twin circuit
- two-cores-per-bit circuit
- two-input circuit
- two-level circuit
- two-way circuit
- ultra-large-scale integration circuit
- unidirectional circuit
- unpackaged circuit
- unpacked circuit
- very-high-speed integrated circuit
- very-large-scale integration circuit
- virtual circuit
- VLSI circuit
- voice circuit
- voice-grade circuit
- voltage-control circuit
- voltage-doubling circuit
- voltage-multiplying circuit
- voltage-summation circuit
- voter circuit
- wave-shaping circuit
- whole-wafer circuit
- wired AND circuit
- wired OR circuit
- wire-wrapped circuit
- writing circuit
- zero circuitEnglish-Russian dictionary of computer science and programming > circuit
-
9 relation
отношение; соотношение; связь; зависимость- antireflexive relation
- arithmetical relation
- associative relation
- associativity relation
- binary relation
- causal relation
- cause-and-effect relation
- cause-effect relation
- character relation
- conformity relation
- connect-edge relation
- derivative relation
- direct relation
- dyadic relation
- entity/relationship relation
- equivalence relation
- fragmented relation
- group relation
- immediate predecessor relation
- immediate successor relation
- inclusion relation
- inverse relation
- irreflexive relation
- largest relation
- logical relation
- magnitude relation
- man-machine relation
- multivalued relation
- nonreflexive relation
- order relation
- ordering relation
- parent-child relation
- partial order relation
- precedence relation
- preference relation
- query relation
- recurrence relation
- reflexive relation
- relationship relation
- smaller relation
- smallest relation
- source relation
- strict inclusion relation
- subsumption relation
- symbolic spatial relation
- syntactic relation
- syntactical relation
- temporal relation
- ternary relation
- union-compatible relations
- universal relationEnglish-Russian dictionary of computer science and programming > relation
-
10 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
-
11 lemma
-
12 series
1) серия; ряд; последовательность2) геол. толща, свита3) мат. прогрессия; рядexpansion in a series — матем. разложение в ряд
series in a closed form — матем. ряд в замкнутом виде, замкнутый ряд
series in terms of powers of x — матем. ряд по степеням x
series with decreasing coefficients — матем. ряд с убывающими коэффициентами
to cut off a series — матем. обрывать ряд
to develop as series in x — матем. разлагать в ряд по степеням x
to expand in power series — матем. разлагать в степенной ряд
to expand into series — матем. разлагать в ряд
- absolutely divergent series - absolutely summable series - almost everywhere summable series - almost periodic series - almost stationary series - almost uniformly convergent series - completely convergent series - completely invariant series - configuration counting series - confluent hypergeometric series - dominating series - essentially divergent series - everywhere convergent series - everywhere divergent series - function counting series - inverse tangent series - monotonic increasing series - multidimensional time series - multivariate time series - nonuniformly convergent series - normally distributed series - normally summable series - randomly ordered series - slowly oscillating series - strongly summable series - unconditionally convergent series - uniformly bounded series - uniformly divergent series - uniformly summable series - upper central seriesto express as power series — матем. выражать в виде степенного ряда
4) цикл, сериал5) электр. последовательное соединение•connected in series with — электр. последовательно включённый
to place in series with — электр. включать последовательно
См. также в других словарях:
Arithmetical hierarchy — In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene hierarchy classifies certain sets based on the complexity of formulas that define them. Any set that receives a classification is called arithmetical. The… … Wikipedia
George Peacock — Infobox Scientist name = George Peacock box width = 300px image width = 170px caption = birth date = April 9, 1791 birth place = Denton, Yorkshire, England death date = November 8, 1858 death place = Pall Mall, London, England residence = England … Wikipedia
Reduction (recursion theory) — In computability theory, many reducibility relations (also called reductions, reducibilities, and notions of reducibility) are studied. They are motivated by the question: given sets A and B of natural numbers, is it possible to effectively… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Hyperarithmetical theory — In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an… … Wikipedia
Binary quadratic form — In mathematics, a binary quadratic form is a quadratic form in two variables. More concretely, it is a homogeneous polynomial of degree 2 in two variables where a, b, c are the coefficients. Properties of binary quadratic forms depend in an… … Wikipedia
Bernoulli number — In mathematics, the Bernoulli numbers Bn are a sequence of rational numbers with deep connections to number theory. They are closely related to the values of the Riemann zeta function at negative integers. There are several conventions for… … Wikipedia
